Java bytecode - PDFSEARCH.IO - Document Search Engine

Java bytecode
Results: 201

#	Item
111	Abstract A Type-Preserving Compiler Infrastructure Christopher Adam League Many kinds of networked devices receive and execute new programs from various sources. Since we may not fully trust the producers of these progra Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Cross-platform software Type theory Procedural programming languages Java bytecode Type system Java Programming language C Strong typing Computing Software engineering Software
112	Thesis A Type-Preserving Compiler Infrastructure Christopher League Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 ß Java bytecode Programming language theory Type system Closure Software engineering German language Computing
113	Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Data types Java programming language Cross-platform software Java virtual machine Java bytecode Lambda calculus Javac Type system Subtype polymorphism Computing Software Type theory
114	Functional Java Bytecode∗ Christopher LEAGUE Valery TRIFONOV Zhong SHAO Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Cross-platform software Data types Subroutines Type theory Assembly languages Java bytecode Java Pointer Type system Computing Software engineering Computer programming
115	TALx86: A Realistic Typed Assembly Language∗ Greg Morrisett Karl Crary† Neal Glew Dan Grossman Richard Samuels Frederick Smith David Walker Stephanie Weirich Steve Zdancewic Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-29 08:17:52 Assembly languages X86 architecture C programming language Assemblers X86 instructions Calling convention Low-level programming language Java bytecode X86 Computing Computer architecture Software engineering
116	Colorado Software Summit: October 24 – 29, 2004 © Copyright 2004, Simon Roberts Security Foundations of Java Simon Roberts Add to Reading List Source URL: www.softwaresummit.com Language: English - Date: 2008-01-03 04:05:15 System software Java virtual machine Java platform Computing platforms Java Bytecode Pointer Computing Software Cross-platform software
117	Joeq: A Virtual Machine and Compiler Infrastructure John Whaley Computer Systems Laboratory Stanford University Stanford, CA 94305 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:34:55 Compiler construction Cross-platform software Java programming language Programming language implementation Computing platforms Java virtual machine Java bytecode Java Just-in-time compilation Computing Software engineering Software
118	JoeQ Framework CS243, Winter 2015 Overview ● Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-01-21 07:47:11 Cross-platform software Java bytecode Compiler construction Stack machine Java virtual machine Bytecode Stack Java Compiler Computing Software Assembly languages
119	Science of Computer Programming[removed]–356 www.elsevier.com/locate/scico Joeq: A virtual machine and compiler infrastructure John Whaley Computer Systems Laboratory, Stanford University, Stanford, CA 94305, Unit Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:03 Cross-platform software Programming language implementation Java platform Computing platforms Java virtual machine Java bytecode Bytecode Java Compiler Computing Software Compiler construction
120	Generating Code and Running Programs COMS W4115 Prof. Stephen A. Edwards Spring 2002 Columbia University Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-03-29 19:20:37 Computer programming Computing Control flow Java bytecode Goto

UPDATE